PREFERRED_PROVIDER_virtual/kernel ?= "linux-ftbmc"
PREFERRED_PROVIDER_virtual/bootloader ?= "u-boot-ftbmc"
PREFERRED_PROVIDER_u-boot ?= "u-boot-ftbmc"
PREFERRED_PROVIDER_u-boot-fw-utils ?= "u-boot-fw-utils-ftbmc"

MACHINEOVERRIDES .= ":ftbmc"
